<?php

class Roles {
	const Student 		= 1;
	const Teacher 		= 2;
	const Secretary 	= 3;
	const Sysadmin 		= 4;

	public static function name($role) {
		if($role == 1)
			return "Student";
		else if($role == 2)
			return "Teacher";
		else if($role == 3)
			return "Secretary";
		else if($role == 4)
			return "Sysadmin";
		return "[incorrect role ID]";
	}
}

?>